#!/bin/bash
head -1000 corpus.en > corpus1000.en
head -1000 corpus.nl > corpus1000.nl

